Nuprl Definition : null
11,40
postcript
pdf
null(
as
) == rec-case(
as
) of [] => tt |
a
::
as'
=>
.ff
latex
Definitions
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
,
tt
,
ff
FDL editor aliases
null
origin